TSTP Solution File: SEV019^5 by Refute---2015